9,981 research outputs found

    Hilbert on Consistency as a Guide to Mathematical Reality

    Get PDF

    Healthy University – University of Central Lancashire

    Get PDF
    In 1995, the University of Central Lancashire became one of the first few universities to establish a Healthy University initiative – now one of the longest-running initiatives of its kind worldwide. This case study details the context, provides an overview of the initiative and uses food as a focus for illustrating how the whole system Healthy University approach has been developed and implemented in practice. It also introduces the UK Healthy Universities Network

    National research and development project on healthy universities: final report

    Get PDF
    This report presents the findings of a National Research and Development Project, undertaken by the Healthy Settings Development Unit at the University of Central Lancashire and funded by the Higher Education Academy Health Sciences and Practice Subject Centre and the Department of Health. The aim of the project was to scope and report on the potential for a national programme on Healthy Universities that could contribute to health, well-being and sustainable development. The project comprised four strands: - Literature Review: A rapid review of relevant academic and policy-related literature conducted in order to clarify theory, scope practice and distil key contextual issues. - HEI-level Research: Comprising an overview audit and follow-up mapping and consultative research, this strand of the project provided an overview of Healthy University activity across English HEIs, generated in-depth data from a purposive sample of universities and explored perspectives on the potential development of a national programme on Healthy Universities. - National-Level Stakeholder Research: Using semi-structured interviews with nine key national stakeholder organisations, this strand of the project mapped current health-related roles and responsibilities and explored views regarding the potential development of a national programme on Healthy Universities. - Joint Action Planning and Reporting: In addition to reporting interim findings at relevant conferences and events, an interactive workshop was held with members of the English National Healthy Universities Network to present findings, validate data, inform the action planning process and secure further buy-in. The project highlighted that higher education offers enormous potential to impact positively on the health and well-being of students, staff and the wider community through education, research, knowledge exchange and institutional practice. It also suggested that investment for health within the sector will further contribute to core agendas such as staff and student recruitment, experience and retention; and institutional and societal productivity and sustainability. The research revealed the richness of activity taking place within HEIs and evidenced a rapid increase in interest in the Healthy University approach, pointing to a growing appreciation of the need for a comprehensive whole system approach that can map and understand interrelationships, interactions and synergies within higher education settings – with regard to different groups of the population, different components of the system and different health issues. There is a clear challenge involved in introducing and integrating ‘health’ within a sector that does not have this as its central aim, is characterised by ‘initiative overload’, is experiencing resource constraints and comprises fiercely autonomous institutions. However, there is also a widening recognition that such a system-based approach has significant added value – offering the potential to address health in a coherent and joined-up way and to forge connections to both health-related targets and core drivers within higher education. The report concludes that there is clear demand for national-level stakeholder organisations to demonstrate leadership through championing and resourcing a Healthy Universities Programme that not only adds value within the higher education sector, but also helps to build consistency of approach across the entire spectrum of education. It issues a number of recommendations with a view to responding to the findings and moving forward

    Advanced grid authorisation using semantic technologies - AGAST

    Get PDF
    Collaborative research requires flexible and fine-grained access control, beyond the common all-or-nothing access based purely on authentication. Existing systems can be hard to use, and do not lend themselves naturally to federation. We present an access-control architecture which builds on RDFs natural strength as an integration framework, which uses RDF scavenged from X.509 certificates, and policies expressed as ontologies and SPARQL queries, to provide flexible and distributed access control. We describe initial implementations

    Semantic security: specification and enforcement of semantic policies for security-driven collaborations

    Get PDF
    Collaborative research can often have demands on finer-grained security that go beyond the authentication-only paradigm as typified by many e-Infrastructure/Grid based solutions. Supporting finer-grained access control is often essential for domains where the specification and subsequent enforcement of authorization policies is needed. The clinical domain is one area in particular where this is so. However it is the case that existing security authorization solutions are fragile, inflexible and difficult to establish and maintain. As a result they often do not meet the needs of real world collaborations where robustness and flexibility of policy specification and enforcement, and ease of maintenance are essential. In this paper we present results of the JISC funded Advanced Grid Authorisation through Semantic Technologies (AGAST) project (www.nesc.ac.uk/hub/projects/agast) and show how semantic-based approaches to security policy specification and enforcement can address many of the limitations with existing security solutions. These are demonstrated into the clinical trials domain through the MRC funded Virtual Organisations for Trials and Epidemiological Studies (VOTES) project (www.nesc.ac.uk/hub/projects/votes) and the epidemiological domain through the JISC funded SeeGEO project (www.nesc.ac.uk/hub/projects/seegeo)

    Population inversion of driven two-level systems in a structureless bath

    Get PDF
    We derive a master equation for a driven double-dot damped by an unstructured phonon bath, and calculate the spectral density. We find that bath mediated photon absorption is important at relatively strong driving, and may even dominate the dynamics, inducing population inversion of the double dot system. This phenomenon is consistent with recent experimental observations.Comment: 4 Pages, Added Reference [30] to Dykman, 1979, available at http://www.pa.msu.edu/people/dykman/pub/Sov.J.LowTemp.Phys_5.pd

    Healthy Universities: Concept, Model and Framework for Applying the Healthy Settings Approach within Higher Education in England

    Get PDF
    As part of a Department of Health funded project, the University of Central Lancashire (UCLan) – working with Manchester Metropolitan University – was commissioned by the Royal Society for Public Health (RSPH), to: - articulate a model for Healthy Universities whereby the healthy settings approach is applied within the higher education sector - produce recommendations for the development and operationalisation of a National Healthy Universities Framework for England - to ensure effective co-ordination of initiatives and propose next steps for progressing the Healthy Universities agenda. In fulfilment of these objectives, this report provides a background to Healthy Universities, outlines the project implementation process, presents a model, discusses the key dimensions for consideration in formulating a framework, and makes recommendations for taking things forward

    Magnetic Trapping of Cold Bromine Atoms

    Full text link
    Magnetic trapping of bromine atoms at temperatures in the milliKelvin regime is demonstrated for the first time. The atoms are produced by photodissociation of Br2_2 molecules in a molecular beam. The lab-frame velocity of Br atoms is controlled by the wavelength and polarization of the photodissociation laser. Careful selection of the wavelength results in one of the pair of atoms having sufficient velocity to exactly cancel that of the parent molecule, and it remains stationary in the lab frame. A trap is formed at the null point between two opposing neodymium permanent magnets. Dissociation of molecules at the field minimum results in the slowest fraction of photofragments remaining trapped. After the ballistic escape of the fastest atoms, the trapped slow atoms are only lost by elastic collisions with the chamber background gas. The measured loss rate is consistent with estimates of the total cross section for only those collisions transferring sufficient kinetic energy to overcome the trapping potential

    Comparing Experiments to the Fault-Tolerance Threshold

    Full text link
    Achieving error rates that meet or exceed the fault-tolerance threshold is a central goal for quantum computing experiments, and measuring these error rates using randomized benchmarking is now routine. However, direct comparison between measured error rates and thresholds is complicated by the fact that benchmarking estimates average error rates while thresholds reflect worst-case behavior when a gate is used as part of a large computation. These two measures of error can differ by orders of magnitude in the regime of interest. Here we facilitate comparison between the experimentally accessible average error rates and the worst-case quantities that arise in current threshold theorems by deriving relations between the two for a variety of physical noise sources. Our results indicate that it is coherent errors that lead to an enormous mismatch between average and worst case, and we quantify how well these errors must be controlled to ensure fair comparison between average error probabilities and fault-tolerance thresholds.Comment: 5 pages, 2 figures, 13 page appendi

    Extremal Quantum Correlations and Cryptographic Security

    Get PDF
    We investigate a fundamental property of device independent security in quantum cryptography by characterizing probability distributions which are necessarily independent of the measurement results of any eavesdropper. We show that probability distributions that are secure in this sense are exactly the extremal quantum probability distributions. This allows us to give a characterization of security in algebraic terms. We apply the method to common examples for two-party as well as multi-party setups and present a scheme for verifying security of probability distributions with two parties, two measurement settings, and two outcomes.Comment: 7 pages, 2 figures, revised version, accepted for publication in Phys. Rev. Let
    • …
    corecore